ETHZ D-INFK Prof. Dr. B. Meyer, Dr. J. Shin Robotics Programming Laboratory – Assignments Fall 2013

Source URL: se.inf.ethz.ch

• Robots
• Thymio
• Integrated development environments
• Robot Operating System
• EiffelStudio
• Ubuntu
• Linux
• Package manager
• Ros
• Bash

Russian Academy of Sciences Program Systems Institute Porting OpenTS Parallel Programming System to Windows CCS Platform OpenTS Outline Open T-System was developed at PSI RAS within the

Source URL: skif.pereslavl.ru

Conflict-Driven Answer Set Solving: From Theory to Practice∗ Martin Gebser Benjamin Kaufmann Torsten Schaub† Universit¨at Potsdam, Institut f¨ur Informatik,

Source URL: www.cs.uni-potsdam.de

• Logic programming
• Model theory
• Stable model semantics
• Natural deduction
• Pi system

FliPpr A Prettier Invertible Printing System Kazutaka Matsuda (Univ. of Tokyo) Meng Wang (Chalmers Univ. of Tech.)

Source URL: www2.sf.ecei.tohoku.ac.jp

• Computer programming
• Formal languages
• Software engineering
• Source code
• Software
• Compiler construction
• Parsing
• Prettyprint
• Formal grammar

JavaUI : Effects for Controlling UI Object Access (Extended Version)? Colin S. Gordon, Werner Dietl, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,wmdietl,mernst,djg}@cs.washington.edu

Source URL: homes.cs.washington.edu

• Computing
• Software engineering
• Type theory
• Data types
• Java
• Object-oriented programming
• Swing
• Type system
• Polymorphism

Astun Case Study Industry: Local Government Country: UK

Source URL: astuntechnology.com

• Computing
• JavaScript libraries
• Geographic information system
• Leaflet
• Application programming interface
• GeoJSON
• Software
• Geographic data and information

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. System Description: Delphin – A Functional Programming Language for Ded

Source URL: www.itu.dk

• Type theory
• Logic in computer science
• Lambda calculus
• Dependently typed programming
• Subroutines
• Combinatory logic
• Higher-order abstract syntax
• Twelf
• Dependent type
• Parameter
• Logical framework
• Fixed-point combinator

Istation Reading Curriculum Correlated to CALIFORNIA COMMON CORE STATE STANDARDS for English Language Arts and Literacy Grades 6-8

Source URL: www.istation.com

• Logic programming
• Common Core State Standards Initiative
• RL
• System time
• Education
• Computing
• Computer engineering

Genome Informatics 14: 673–KEGG API: A Web Service Using SOAP/WSDL to Access the KEGG System

Source URL: www.jsbi.org

• Biological databases
• Systems biology
• Biology
• Systems science
• Bioinformatics
• Online databases
• KEGG
• Molecular biology
• Academia
• Application programming interface
• Ensembl
• Gene

The Spec# Programming System: Challenges and Directions Mike Barnett, Robert DeLine, Bart Jacobs, Manuel F¨ahndrich, K. Rustan M. Leino, Wolfram Schulte, and Herman Venter Microsoft Research, Redmond, WA, USA mbarnett,r

Source URL: vstte.ethz.ch